deductively sound argument